Function-Independent 相关硕士博士期刊学术论文

不变量是用于描述程序运行时不变性质的一些重要的逻辑断言。大型程序似然不变量发现的方法是通过对程序运行时的轨迹进行分析采获......